SMT - Check list