This has the consequence that, if we are given a theory and the initial conditions, from which we deduce the prediction, then the statement p̄ will be a falsifier of the theory, and so a basic statement.