(\forall x\in\emptyset)P(x)