> See you all Monday afternoon, and please someone have a request > outside of type theory! Come on, there's nothing outside of type theory, is there?