[jmilloy]

That actually makes a big difference. As a supplement to what's taught in class, I think the language is probably appropriate as it is.