if the previous comment implemented, this assertion would not be needed since the condition cannot ever be false.