Angelic non-determinism

ID: angelic-non-determinism

New to topics? Read the docs here!