Logarithmic Proof (2)