Intento de verificacion de tipos