Add query bigshot rule.
Do exercise 4.59.