thus the ResultSort of (X -CircuitStr) = id the carrier' of (X -CircuitStr) ; :: according to CIRCCOMB:def 7 :: thesis: verum