^aXML imposes a few minor additional constraints which are irrelevant here