(assert (and true))