Modeling Partiality by Nondeterminism