Added examples and proof on AAFD