Edit: PDFA_def.ps