Hot: smt-whitepaper