little fact about SMT @ned