What you can do with eSMT: