verification tests + examples