Title: Reasoning with Functions II