[text text=(31337_90884846016283, `The CARRY is [T] if and only if both inputs are [T]`) size=33 y=-25]
[text text=(31337_32998192994042, `The SUM requires the same reasoning from the "Odd Number of Signals" level`) size=33 y=25]

