06-11 Building A Non-Deterministic ...