Although modern SAT solvers has a ring to it, I wish we would go back to calling them high schoolers.