Exactly right. Depressing to see the default assumption here, as usual.