Refactor naturally_equivalent