Perhaps, if our symbolic notation would appear "alien" to them, the simple graphical notation in [1] could help them understand. [1] http://tromp.github.io/cl/

Perhaps, if our symbolic notation would appear "alien" to them, the simple graphical notation in [1] could help them understand. [1] http://tromp.github.io/cl/diagrams.html http://tromp.github.io/cl/diagrams.html