Email Record: Modern logic and quantum mechanics /