Polignorant correctness view 3