AAAA 2016 proof