Proof Of Log Rules