TAP 2010 (2010 Málaga, Spain)

• Tests and proofs