Major Section: MISCELLANEOUS
Computed hints (see computed-hints) are extraordinarily powerful.
We show a few examples here to illustrate their use. We recommend
that the using-computed-hints-n topics be read in the order
using-computed-hints-1, using-computed-hints-2, and so on.
stable-under-simplificationp flag