implies_identity