GNU Aris Manual: fv

---

6.3.9 Free Variable

• a = b
• P(a)
• ——–
• P(b)

Free Variable allows the user to substitute a free variable for another free variable, given that the two are identical.

Free Variable uses exactly two references.