SMS: Logical framework :