Nondeterministic Algorithms | Synapse