Using Operational Intuition aboutEvents and Causality in Assertional ProofsChing