No words found for sequent with one letter changed