diff --git a/z3guide.jpeg b/z3guide.jpeg new file mode 100644 index 00000000000..1921b24b6c1 Binary files /dev/null and b/z3guide.jpeg differ