non-Mu is Existence