The word "variable" is somewhat overloaded in Ivy, and refers (depending on context) to either:

• A declared variable, which is a kind of state variable
• A logical variable, which is a placeholder in a quantified logical formula