3rd lesson: Adding verification cases