finished with inconsistency of refinement and sort