Locally-Nameless-Sigma.Locally_Nameless_Sigma