whats a sequitur?