MU (L^cy Th@1)