@thecryptodrive: SMT's can't have