introduce Value as Case[]