Reasoning with Functions II | lit.salon