Do-Divergence: A Bound for Maxwell's Demon — AI Alignment Forum