Higher-level helper functions

Idem, can't happen normally. Since we expect our "low-level functions" to be working, this can be skipped to avoid code duplication