tailcalled comments on finite, actual infinity, potential infinity