Bae's Theorem comments on Applied Rationality podcast—feedback?