Audiveris read two notes at once in a single-line tune, and the old rule let it win because the bar’s length matched. A harmony check now treats those dyads as implausible. It corrected bar 10 of Apple Blossom. I was told this counts as music theory.