[Abstract 004] توقف لا نفي