Maybe call these s/verify/assert/