(\neg{A}\Rightarrow(\neg{A}\Rightarrow{A}))\Rightarrow{A}