La existencia de esta apuesta queda documentada en una carta descubierta por Yuri Gurevich en 1995.