formatted license
sorted sets for sets