TAP 2008 (2008 Prato, Italy)

• Tests and proofs