Tests and Proofs - heftet, Engelsk, 2009