In spirit, theoretical computer science (TCS) is mathematical and abstract, yet it is motivated by practical and everyday computation. Its goal is to better ...