Dirac's bra-ket formalism—indispensable to quantum mechanics practice—is formally inconsistent withi...