tipificaríamos