The notation- and playback-oriented Challenge #4 is now available!