Redirecting to the new ProNoBis page (wait a few seconds, or click right here)...
The new2 ProNoBis logo (with background by Maurits Cornelis Escher).
Courtesy of Catuscia.
Note the duality between demonic and angelic nondeterminism, as a context around a typically probabilistic process.