Some language refinements