Before revision: A physical proposition about the system at a fixed time can be represented by a projection operator on (See quantum logic).
After revision: A physican orthogonall proposition about the system at a fixed time can be represented by a projection operator on (See quantum logic).