The Hoare Applet: