CHECK AFTER: after a behavior is attempted, the software verifies that it performed as
expected, or otherwise detects if an exceptional condition has occurred
HANDLE AFTER: in some cases the behavior will still be undertaken, and the CHECK-AFTER will
detect that an exceptional condition occurred. There may still be a chance for the software to