Deakstadieđáhus: The logic of quantum mechanics