Stav dette: The logic of quantum mechanics