Sequitur definitions