I've just updated the SMT thread, so I'll merge this into it.