A visual environment for describing an algorithm by tracing it on concrete examples.