Non Deterministic Model