I messed up. Equivalent should work for the two truth inputs, butdoesn't. Use an "and" there instead.
