* find the thm
* associate (e.g. choose paths)
* work avoidance:  is a particular computation necessary?

* spend study time cross-referencing, experimenting, *asking* -- not staring
* spend qual time experimenting, not staring

More RA-specific:
* things to do with an absolute value
* things to do with a norm