Kenoubi comments on Design, Implement and Verify