Infra-Bayesian physicalism: proofs part I — LessWrong