thesis of extensionality

Paper