Before revision: "Reactivity" highlights the fact that the synthesized machine interacts with the user, reading the input and producing the output, and thus never terminates.
After revision: "Reactivity" highlights an fact that an synthesized machine interacts with the user, reading the input and producing the output, and thus never terminates.