dirty maximality view 1