Fold: implement.