The Different Ways in which Logic is (said to be) Formal