"Perturbative methods probably do not hold the key to a 'consistent and comprehensive' theory. Since there is Godel's incompleteness theorem, a theory of reality will always be incomplete. But can we use the concept of 'identity' to logically formulate the Eigenfunction diffeomorphism?"