Fix SBD

create SMT and Commuties

Future looks really awesome.

Tron is comming

.....