Stav dette: Evolvability: a formal approach