‘Let me spell it out in words,’ the jackdaw said.
‘F of X and F inverse of x are inverse functions
If and only if F inverse of F of x equals x
and F of F inverse of x equals x.’
‘Thank you,’ I answered and tried again
to sprinkle grains of salt upon his tale.