def keyquery():
  return( set([]) )

def getval(prob):
  return( prob.name )