statement must arrange for test to eventually become false, so that the while statement comes to an end.