  We propose a semantic foundation for logics for reasoning in settings that
possess a distinction between equality of variables, a coarser equivalence of
variables, and a notion of conditional independence between variables. We show
that such relations can be modelled naturally in atomic sheaf toposes.
