Last day of IC, and went to the KGB meeting. Read some papers about intersection types, and complexity theory scribe notes. I forgot that NLSPACE = LSPACE = coLSPACE! Just crazy shit.