“…We mention a few such recent results; the interested reader may consult their references. In the papers [1,2,3,4,5,6,8,11,15,16,19] the authors provide various finiteness results concerning the values (or sums or products of values) of certain concrete recurrence sequences (such as Fibonacci, Tribonacci, generalized Fibonacci, Lucas, Padovan, Pell, repdigits) in the x coordinate of equation (1), for the cases t = ±1, ±4. Concerning the y-coordinate, we are aware only of two related results.…”