AASL 1.7.2 Laws of logs