Sm-logic