According to the textbook, ________ involve(s) constructing abstract interpretations that can be used to explain a wide variety of situations.