This
should be
God is omnimax.
Therefore, p.
1. Necessarily, if God knows that p, then p.
2. Necessarily God knows that p.
3. Therefore, necessarily p.
should be
God is omnimax.
Therefore, p.