“A no-go theorem in quantum mechanics that Spekkens critiques regarding its assumptions on ontic separability.”