No words found for extensionality with one letter changed