[hilbert42]

I have, many times, hence my earlier comment.

If Rubio read Republic then he's just demonstrated that he'd not have understood it.