Polignorant correctness view 2