Title: Nondeterministic Divide