The Sundog Alignment Theorem: A Proposal for Embodied Alignment via Indirect Inference — LessWrong