S.G. Brundle - Proof: Core CPO