Integrating reactive methods with deliberate reasoning and planning may be enabled in future by treating intentions and actions arrived at by reactive methods as tentative, to be verified and potentially modified by more deliberate reasoning if time permits. Excessive reasoning with iterated modalities could also be avoided with stronger assumptions about the attainment of mutual belief. For example, we might assume that both speaker and hearer spontaneously perform forward inferences about the world and about each other's mental states based on discourse events and common knowledge, and that such forward inferences directly become mutual knowledge (on a “likemindedness” assumption), thus shortcutting many modally nested inferences.