[Kohta Murase has moved to Institute for Advanced Study]