Enviar por SMS: Complexity of Nested Circumscription and Abnormality Theories