collection of small verification tests