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