Convert equal.

Convert equal to use a non-proposition based version that operates over
Boolean operators.