smt

1. REDIRECT SMT {{R from other capitalisation}}

{{R ambig}}