new test locations
refinements are >2.0.0
add logical implication-ish