diff --git a/HoTT/Beatrice_Holding_HoTT.png b/HoTT/Beatrice_Holding_HoTT.png new file mode 100644 index 00000000..15524719 Binary files /dev/null and b/HoTT/Beatrice_Holding_HoTT.png differ