así que finalmente llegamos a un STL en $PROM