2005 Proof Set Complete for AJ