Refinement and Occam /