https://drive4five.blog/2017/10/31/where-do-quine-and-prince-fit/