Logarithmic Proof (3)