Maybe Non-Deterministic Behavior is What We Want When Writing Code