AD2012Proof: Members