$\forall x, x< 9\colon x< 10$