"Sets" fully verified