RUTH BARCAN MARCUS (1921-2012)

There’s no better logician than Ruth,

She’s a great logic formula sleuth.

If all has to be good,

It must be that all’s good:

That's an axiom, the God's honest truth.