..refinements again