Bell–Ghioca–Tucker conjecture. The set Sf,g(P,Q)S_{f,g}(P,Q)Sf,g(P,Q) is a union of finitely many sets of the form
