Read First: Operation Gives constraints that must be satisfied just after an operation is run.
Subtypes: None