(assert (=)