Isn't the next sentence there literally 'Only that it's non deterministic'?