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