Gave my talk again along with Evan, Mehemet and John Heffner for some sort of undergrad research award thing finals. Went to a POP talk about theorem proving and HOAS in Isabelle. Played some board games.