 However, for the most part, at this point, Church focused on the development of intensional logic in the form of LSD (see  §3)  and on condition (1)—viz. the problem of semantical paradox. In his 1976, his aim is clearly to communicate the resolution via RTT of the semantical paradoxes: