My Questions
Verifying inverse functions by composition