1. The problem statement, all variables and given/known data Translate [itex]\forall x (Nx \rightarrow Ix \rightarrow \neg \forall y (Ny \rightarrow Iy \rightarrow \neg x<y))[/itex] into English where N translates to "is a number", I translates to "is interesting" and "<" translates to is less than. 2. Relevant equations N/A 3. The attempt at a solution My attempt at a translation was: "For all x, if x is a number, then (if x is interesting there exist y s.t. if y is number, then (y is interesting implies x<y))." From this I got: "Given any interesting number, there is another interesting number less than it." But I am not sure if this is correct. Can anyone help? Thanks!