Compare set of formulas ---------------------------------------- * alpha <-> beta ----------------------------------------