user/sat context issue in sets
sets: comment out an assertion too strong