Introduce 'ensure' library