Refined problem definition