We can conduct formalized discourse about most topics perfectly well by means of our all purpose extensional logic, provided with predicates and adomain of quantification suited to the subject matter at hand.