(assert (not true false true false)