diff --git a/presentations/System_safety_2012/contract_function.dia b/presentations/System_safety_2012/contract_function.dia
new file mode 100644
index 0000000..e5a3473
Binary files /dev/null and b/presentations/System_safety_2012/contract_function.dia differ