Propositions Functions & Analysis P door Peter Hylton