Adding the problem definition