This gets an annoyingly verbose comment, because otherwise it could be
removed and continue passing almost all the time.