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