Lucas can believe his Whiteley sentence
The claim that Lucas can't believe the Whiteley sentence is incorrect. Lucas can recognise Whiteley sentence is true, as there's a point of view from which he can understand how the sentence tricks him.
From this point of view Lucas can appreciate that he can't assert the sentence-and consequently he can recognise its truth.
J. E. Martin and K. H. Engleman (1990).