perfection -- 3. Formal languages and natural languages -- 4. Logical form and syntactic