Proof Of Log Properties