Before revision: From a state vector, the and sufficient mathematical conditions (e.g.
After revision: From a state vector, and sufficient mathematical conditions (e.g.