building other EQUIV?-like predicates Sebastian Egner 10 Mar 2006 08:41 UTC