Use check in ensureX functions