SMS: Algebraic logic