Algebraic Reasoning: Inverses of Functions