$ADA está oficialmente muerto, creo.