[justonceokay]

Sure, I just personally like his distinction between a “true” statement like “I am typing right now” and a “tautological” statement like “3+5=8”.

In other words, declarative statements relate to objects in the world, but mathematical statements categorize possible declarative statements and do not relate directly to the world.

[IsTom]

If you look from far enough, it becomes "Current world ⊨ I am typing right now" which becomes tautological again.