add unrestricted sigma via left-kan