{assert false} + {assert true}