A JOTSA Example