 These various notions of optimal extension can be used to define when a proposition has been proved or refuted in a particular structure, depending on whether the proposition or its negation belongs to the optimal extension of the structure.