Added Eq Env instance