A professor's wife dies. Professor is grief stricken. Professor talks to himself. Professor interacts with another being (imagined) Matt the main character figures out the situation Reverse mathemnatics Conference in Zurich Matt solves the problem. All ends well.