[LP] Free_in_context proven.