Flesh out redex parts and twiddle