"extensional" - key terms from Wikipedia