diff --git a/chernenko_toyota_report_formal_semantics.pdf b/chernenko_toyota_report_formal_semantics.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..5dfca5d83f4bb97c877b28b991ac4f4e5d64c28e
Binary files /dev/null and b/chernenko_toyota_report_formal_semantics.pdf differ