Syntactic equality