(Source: nondeterminism)