Assignment 6 - Fix 3.4 counterexample (spotted by @krsapkota )