What is the condition of variables in first-order literals?

• A. existentially quantified
• B. universally quantified
• C. both a & b
• D. none of the mentioned