Added a small note on function extensionality.