Se termina la funcion zip-map, asi como los comentarios de la funcion
find-truth y la funcion zip-map.
Se termina el practico