Any theory which purports to show that Roger Penrose is able to "see" the truth of the consistency of mathematics has got to explain Edward Nelson being able to "see" just the opposite.