Agency & Deontic Logic P by John F. Horty