Spec dm problem