On the refinement calculus | lit.salon