practical verification