clarified statement of soundness for commands