Annexes to ProDoc (January 2012)