f : m » rec » \ Dds.