A Fundamental Theorem in Modifiability.