Chapter 1 THE LOGIC OF REUSABLE PROPOSITIONAL OUTPUT WITH THE FULFILMENT CONSTRAINT