Images supporting non-deterministic navigation
Code and images
html