non deterministic polynomial view 3