Lambda Calculi 9 - String reductions