let find n i x = Context.find i (get_context n) x