Further refinement of migrations; test with conforms-to from conformity