In reply to Re^2: Dealing with undefined captures in a substitution by Anonymous Monk in thread Dealing with undefined captures in a substitution by grinder