Contract refinements