IsIdentity -> IsOne