Confluence, Extensionality and Rewriting

to be detailed ...