before_sent:  We validate  our framework through rigorous proofs of correctness and efficiency .
before_sent_with_intent: <clarity>  We validate  our framework through rigorous proofs of correctness and efficiency .
after_sent:  We validate the implementation of our framework through rigorous proofs of correctness and efficiency .