Reinstating the infinite by E. de Jonge