Lesson 3: Verifying Shifts