diff --git a/Agda/Agda_PROGRAM_=_PROOF_Samuel_Mimram.jpg b/Agda/Agda_PROGRAM_=_PROOF_Samuel_Mimram.jpg
new file mode 100644
index 00000000..f0d59254
Binary files /dev/null and b/Agda/Agda_PROGRAM_=_PROOF_Samuel_Mimram.jpg differ
diff --git a/Agda/Agda_thesis_bookworm.gif b/Agda/Agda_thesis_bookworm.gif
new file mode 100644
index 00000000..0f5e0f2a
Binary files /dev/null and b/Agda/Agda_thesis_bookworm.gif differ