comprobation

not defined yet