interpreted, but the representation system as a whole shall exhibit semantic fl aws. AIrevfin.tex ...... sets will fall foul of planarity problems in practice, so it would be useful to investigate something like ..... wiring diagrams to the lambda-calculus.