TAP 2007 (2007 Zurich, Switzerland)

• Tests and proofs