Working on the verification example.