When SMT fans are hyped