Obligation, necessity and permission