Formula:Booleq/eq2