redex. "An expression that is not a value can always be partitioned into two parts: a redex, which is the part that changed in a single-step simplification, and the continuation, which is the surrounding expression context."