More comments that seem like they should be `assert`ed somewhere.