and yes it is nondeterminism