specs for DateSet class