Finished problem definition.