Contributing Author: John Lennox
It is intended that the instructor aids be included as an appendix in the hypertextbook