johnswentworth comments on What’s So Bad About Ad-Hoc Mathematical Definitions?

[johnswentworth]

Definitely, yes. The benefit is that it avoids directly specifying the type of the world-state.