Las bóvedas hacen que los productos financieros sean programables