Title: Jumping Frog : (annotated)