rwallace comments on Design, Implement and Verify