Existential types section done