add the disk constraint