...so at least one white pawn has underpromoted if this position is to be reached. As one might say, we needn't assume that either side has played sensibly, only that they have played *legally*...