@moeknows: But aren't SMT