  By following the same construction pattern which Martin Davis proposed in a
1968 paper of his, we have obtained six quaternary quartic Diophantine
equations that candidate as `rule-them-all' equations: proving that one of them
has only a finite number of integer solutions would suffice to ensure that each
recursively enumerable set admits a finite-fold polynomial Diophantine
representation.
