(note "Canonical Test: [ A(x) <=> B(x) ]") (canonicalize (equiv (Pred1 ?X) (Pred2 ?X)))