I suppose that I might as well get the “But what about Verification Challenge 1?” question out of the way to start with. You will find Verification Challenge 1 here . Now, Verification Challenge 1 was about locating a known bug. Verification Challenge 2 takes a different approach: The…