code: def make_key(*criteria):
      
      criteria = [stringify(c) for c in criteria]
      criteria = [c for c in criteria if c is not None]
      if len(criteria):
          return ':'.join(criteria)
docs: Make a string key out of many criteria.