The Logic of Commands