It's "mu" not "miu". I think they gave a talk on it at CUFP one year.