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