7.3 Properties of Logs & Solving