Johnson argues that more abstract reasoning is shaped by such underlying spatial patterns. For example, he notes that the logic of containment is not just a matter of being in or out of the container. For example, if someone is in a "deep" depression, we know it is likely to be a long time before they are well. The deeper the trajector is in the container, the longer it will take for the trajector to get out of it. Similarly, Johnson argues that transitivity and the law of the excluded middle in logic are underlaid by preconceptual embodied experiences of the Containment schema.