SeqAndRules does not exist anymore