Case specification