Unfortunate. You should have come away with an understanding of the Central Dogmap, as well as Gödel's and Tarski's theorems. If you have Tarski's Undefinability, then you learned enough.