diff -r cb76847c439e -r 9500914bade0 diagrams/definition/evaluation1.pdf
Binary file diagrams/definition/evaluation1.pdf has changed