pre-established statements, which are implied as self-evident. These are semantic components that are built into the statement as already known and not subject to discussion – as some axioms. For example, the phrase “After you have fulfilled the initial conditions…” contains a presupposition that these conditions must be met, which in this context may be a controversial point.