06-12 Simulating A Non-Deterministi...