Backpedaling on shift to superposition semantics. Causes too many problems. Still have results to prove.