Would you welcome your car behaving in a nondeterministic fashion?