refinements
tests refined