Timothy Gowers's lounge · IJR Characters