However, as Mellor points out in, it is now known that there is a more direct proof than that given by Ramsey, while the general case of the decision problem cannot be solved.
Subalit, bilang Mellor points out sa, ito ngayon ay kilala na mayroong mas direktang ebidensya kaysa na ibinigay ng Ramsey, habang ang pangkalahatang mga kaso ng desisyon ang problema ay hindi malulutas.