Can you find some manufacturing process examples to illustrate some of the axioms? For example, it might be useful to consider the precision and tolerance of the machines and mechanical parts when we talk about more restrictive or more relaxed pre-/post-conditions.