Spec Example 8.9. Folded Scalar [1.3]