Weakening vs Strengthening — The Intuitive Guide - Preconditions And Postconditions | OneNoughtOne