Introduction to the Theo - "Sipser, Michael" (Canada, 2007)