AASL 1.5.1 Laws of exponents