Word not found

"extensional" isn't in our dictionary yet.