Tidied up text about inverse functional properties