 RTM also understands mental processes such as thinking, reasoning and imagining as sequences of intentional mental states. For example, to imagine the moon rising over a mountain is, inter alia, to entertain a series of mental images of the moon (and a mountain). To infer a proposition q from the propositions p and if p then q is (inter alia) to have a sequence of thoughts of the form p, if p then q, q.