I use formal theories, such as decision theory, game theory, probability theory, modal logic, computation theory, learning theory, and connectionism, to describe the metaphysic of action. The resultant logic of action shall empower us to understand the failure forms of right acts - be they immoral, or imprudent.