{ [{},i] where i is Element of NAT : verum } c= Vars