diff -r abcbb32288b2 -r faac9ca8f092 diagrams/pdf/ncat/strict-associativity.pdf Binary file diagrams/pdf/ncat/strict-associativity.pdf has changed