Formal Logic and Self Expression