Possible "leave statements" in conclusions