progress on verification output