Implemented Equiv and Exp and enabled tests