diff -r 04e57c6a991f -r cb70a71710a5 diagrams/pdf/definition/evaluation1.pdf
Binary file diagrams/pdf/definition/evaluation1.pdf has changed