Five Kinds of Nondeterminism