By rule 1, q is a formula.
依规则1，q是公式。