Introduction. I. Introducing Subject-Predicate Formal Language: Can Names and Quantifiers Share the Same Category? II. M-Logic. III....