with frozensets as keys for cpt's