language refinement Quotes