Extensionalize

Extensionalize