let inv n i b = Context.inv i (get_context n) b