The LeanTransformation