let check-types handle verification