Logical non-contradiction under substitution is a necessary condition for genuine definitional ident...