Proving Laws of Logs