Higher-level helper functions

Normally, this can't happen.