"Don't combine acting to do A with not believing that it's all right for you to do A now."
"Don't combine acting to do A with not believing that it's all right for you to do A now."
"You ought to do A" entails "It's possible for you to do A." <=> Kant's law
"Don't combine acting to do A with not believing that it's all right for you to do A now."
"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
"Don't combine acting to do A with not believing that it's all right for you to do A now."
"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
"Don't combine acting to do A with not believing that it's all right for you to do A now."
"Do A" with P entails "It's all right for you to do A." <=> corollary of prescriptivity axiom
"Don't combine acting to do A with not believing that it's all right for you to do A now."
"Don't combine acting to do A with not believing that it's all right for you to do A now." <=> conscientiousness theorem