$ADA è ufficialmente morto, credo