Richard_Ngo comments on Introduction To The Infra-Bayesianism Sequence