Comment: Reasoning about Reactors