Adding problem definition