Section 7.1 Page 2 of 4 Some computational laws