PROVABLY $ Delta_1$ GAMES. - Juan P. Aguilera 001; D. W. Blue (J. Symb. Log., 2020)