BUT WHAT IS MIDI, REALLY?