Stav dette: Approaches to the simplex clause