Add problem definition