Using dzil, no need for prove.