This looks like a handy assertion!