Boxer is the first example of a "computational medium" for real people -- not just for computer experts. Boxer is based ...