More work on the verification section.