SMS: Discrete gauge theory