EPK proposition 2-3