... makes assumptions X, Y, Z. Now if it turned out ... that assumption Z was an incorrect assumption ... A - it's assumption Z might be wrong. Now suppose ... run tests which show Z is a perfectly reasonable ... , namely that its assumption Z might've been wrong. ...