Equivalence rules now support multiple form pairs