We formalize the argument as: \[\begin{align} \alpha & :=\forall x(Ix\land \exists y(Oy\land Eyx)\rightarrow \forall z(Iz\land Pzx\rightarrow \exists v(Ov\land Evz))) \label{primerorden} \\ \beta & :=\exists y(Oy\land Eyt)\\ \gamma &:=\forall y(Iy\rightarrow Pdy)\\ \delta & :=\exists x(Ox\land Exd) \end{align} \] In order to derive the conclusion, we will need as well an extra hypothesis saying that the dawn of times and today are both times, \((Id\land It)\). We could add