reached end of infinite model to find a mistake