`ensures`