punch-card percussion.