verification macros