Assertion: multiplexer's output | /r/HasProperty | valid
Facets:
Source sentences:
text: The cc output is only valid when the ALU is directed to do a subtraction.