A plain-text reminder: verify the postcondition before retrying. #reliability