SMS: Logical properties