Mitchell_Porter comments on The hyperfinite timeline