finished problem definition