finished Chapter13Spec