Polytopos comments on Mathematical Intuitionism and the Flow of Time