No words found for sequents with one letter changed