06-13 Simulating A Non-Deterministi...