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