We present a novel proof of the soundness and completeness of axiomatizations of call-by-value control operators with respect to the continuation semantics. Our proof is much simpler than the two previously known proofs and our resulting axioms extend previous systems to allow reasoning about all monadic effects.