diff --git a/teaching/Bi-Abduction-slides-Sutherland.pdf b/teaching/Bi-Abduction-slides-Sutherland.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..658b2944d7d4ce3e89be75521e4645e4a09ce190
Binary files /dev/null and b/teaching/Bi-Abduction-slides-Sutherland.pdf differ