Now the question of what makes a heap correct or incorrect, has taken on new urgency.

Questions of what makes a heap incorrect will reveal more useful answers than questions of what makes a heap correct. Questions of correct and incorrect are not of equal utility in minimizing error.