impossibility correctness hypothesis now revealed