SMS: Logical validity