Verif Tools <VALIDATED