It would be nice to find some way to make the more explicit, in particular so we don't crash on the next line if this is ever untrue.