SMS: The logic of information structures /