IA2.AT.C: Reason about functions.