 These six postulates are commonly called the basic Gärdenfors postulates for revision. The most controversial of them is Success. It implies that in response to an inconsistent input sentence, the epistemic agent will acquire an inconsistent belief set, according to which she holds all sentences to be true. Even for consistent input sentences, Success is contestable. It is not implausible for an epistemic agent to consider some statements to be so implausible that nothing can make her believe in them. For belief revision models that do not satisfy Success, see section 6.3. and 6.4.