1. Implicit values
Find relationships over non-variables
•array: length, sum, min, max
•array and scalar: element at index, subarray
•number of calls to a procedure
•…
[Do not say “expressions not appearing in the source”.]
[We saw some of these in the previous output.]

These are a few examples.