Independent Axiom

P(i(j(j(x,y),x),x)) % A7

• A3 and A6 proved without A7
• A7 is proof dependent for T1
• Model found for A1, A2, A4, A5, ~A7, A8, A9
• A7 is independent