verificantur