A4.xml annotated