{assert true} + {assert false}