Zaslat SMS: Algebraic theories