refinements are stupid