More verification work.