PropForm Spec, clean DS