An adequate bootstrap is a contradiction in terms.
"Theoretical computer science is not just about algorithms and data structures; it's about understanding the fundamental limits of computation."