Re: [math-fun] exotic R4 relevant to physics?