Stuart_Armstrong comments on Introduction To The Infra-Bayesianism Sequence