If a student can get the rhythms right, he will start working on coordination between the left and the right hands.
∀x (Student(x) ∧ Can(x, getTheRhythmRight) → Start(x, workingOnCoordinationBetweenTheLeftAndRightHands))