Famnit’s trips into the Mathematical Universe