SMS: Symbolic logic