Logarithmic Proof (4)