computation sipser quine theory idea approach self
Tout plus