non deterministic polynomial view 2