I recently re-discovered this “lost work,” which I made using Geometer’s Sketchpad, in 2011 — before I started this blog, which is why it has not appeared here before.