left folds are left folds