revised eq and is_isomorphic