[text text=(31337_90442785399123, `The output 2 is [T] if and only if all signals are [T]`) size=37]
