AIHL 1.9.1 Laws of logs