SMS dit: Approaches to the simplex clause