stricter reavaluation
inspect2 is a sparate, experimental function