Polignorant correctness view 1