Herbie is a great tool, especially for teaching.