"You ought not to combine wanting to do E, believing that your doing M now is causally necessary for you to do E, and not acting to do M."
"You ought not to combine wanting to do E, believing that your doing M now is causally necessary for you to do E, and not acting to do M."
"You ought not to combine wanting to do E, believing that your doing M now is causally necessary for you to do E, and not acting to do M." <=> ends-means theorem
"You ought not to combine wanting to do E, believing that your doing M now is causally necessary for you to do E, and not acting to do M."
"We ought not to accept combinations that, when conjoined with other axioms, are inconsistent." <=> rationality axiom
"You ought not to combine wanting to do E, believing that your doing M now is causally necessary for you to do E, and not acting to do M."
"If you ought to do A, then do A" and "If it's all right for you to do A, then you may do A." <=> prescriptivity axiom
"You ought not to combine wanting to do E, believing that your doing M now is causally necessary for you to do E, and not acting to do M."
"Don't combine believing that everyone ought to do A with not acting to do A yourself." <=> conscientiousness theorem
"You ought not to combine wanting to do E, believing that your doing M now is causally necessary for you to do E, and not acting to do M."
"Do A" with P entails "It's all right for you to do A." <=> corollary of prescriptivity axiom