Quantum logic is a logic developed by Garett Birkhoff (1911–1996) and John von Neumann (1903–1957). It was developed as a way of reasoning about statements concerning quantum states. One formalism for quantum mechanics uses a mathematical structure called a Hilbert Space. In quantum logic, the behaviour of the connectives is read off, not from a Boolean Algebra, as in classical logic, but from a Hilbert Space. This delivers a logic with an orthonegation, and in which distributivity fails. That is, does not entail . This was thought to be able to explain the fact that, for example, a particle can hit a screen having gone through either of two slits, without it being true either that it hits the screen having gone through one slit or that it hits the screen having gone through the other. There has been little uptake of quantum logic on the part of quantum physicists, however.