The natural logic of rights and obligations.