forall A B: Prop, (((A->A)->B)->B)
forall A: Prop, (((A->A)->A)->A)
forall A B C: Prop, (A->((B->C)->A))
forall A B: Prop, (A->((A->B)->A))
forall A B: Prop, (A->((B->B)->A))
forall A B: Prop, (A->((B->A)->A))
forall A: Prop, (A->((A->A)->A))
forall A B: Prop, (A->((A->B)->B))
forall A B C: Prop, ((A->B)->(C->C))
forall A B: Prop, ((A->B)->(A->A))
forall A B: Prop, ((A->A)->(B->B))
forall A B: Prop, ((A->B)->(B->B))
forall A: Prop, ((A->A)->(A->A))
forall A B: Prop, ((A->B)->(A->B))
forall A B C: Prop, (A->(B->(C->C)))
forall A B: Prop, (A->(B->(A->A)))
forall A B: Prop, (A->(A->(B->B)))
forall A B: Prop, (A->(B->(B->B)))
forall A: Prop, (A->(A->(A->A)))
forall A B C: Prop, (A->(B->(C->B)))
forall A B: Prop, (A->(A->(B->A)))
forall A B: Prop, (A->(B->(A->B)))
forall A B C: Prop, (A->(B->(C->A)))
forall A B: Prop, (A->(B->(B->A)))
