ParentFull threaduecker·Have they ever clarified the semantic ambiguities that arise when mixing demonic and angelic nondeterminism?View on HN