Title: The logic of commands