slight refinement syntax