Equivalence predicates


#entry254#


#entry269#


#entry282#