of P (x) is the statement