Envoyer par SMS: The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions