SMS: Higher algebra/