The philosophical motivation for the choice of J as an expository notation for computer science is derived from its natural language sentence-like syntax [Kon 94,Rie 93]. Since the majority of the students enrolling in this course are likely to be fine arts and humanities students who are generally less oriented towards technology and science, it was thought to be useful to use a notation which could be easily related to the structure and form of natural language.