Hidden Dangers - FR: Proof Experiences - Consider the Consequences