[Issue #15] Functional Reasoning