Given below are two statements:
Statement I: "A grandparent is a parent of one's parent."
Statement II: The first-order predicate logic (FOPL) representation of the above statement is ∀g, c grandparent(g, c) ⇔ ∃p parent(g, p) ∧ parent(p, c).
Choose the most appropriate answer.

1. ABoth Statement I and Statement II are correct
2. BBoth Statement I and Statement II are incorrect
3. CStatement I is correct but Statement II is incorrect
4. DStatement I is incorrect but Statement II is correct

Pick an option to check yourself, or open the answer below.