Operational semantics are a precise, mathematical description of how a storage system should behave, and parametric in the choice of the consistency model.