Yup. It's the only correct way to use Fold.