Tangent of i/Proof 2