[spec] double derivatives