(VAR X Y) (RULES 2nd(cons(X)) -> Y from(X) -> cons(X) )