Zaslat SMS: Approaches to the simplex clause