This section introduces DRT in fairly informal terms. We show how a hearer builds up a mental model of the ongoing discourse, dealing not only with simple sentences, but also with conditionals, quantification, and anaphora, and we discuss DRT’s treatment of indefinites, and how they are set apart from quantifying expressions.