 Church’s point of view is that the semantical primitives and principles, including  **,  that were added to STT to obtain GP are all “reasonable”. The only thing missing is ramification. This is in essence why Church thought that RTT provides the framework for the solution to the semantical paradoxes. (For more details see  supplement F.)