A second reason is that it is at the semantical or proof theoretic level, where we talk about expressions and their truth values under various substitutions, that we make clear and useful sense of lo.