Input (grade 10): A double pedal is two pedal tones played simultaneously.
Output (grade 4): A double pedal is two pedal tones played at the same time.