On the twelfth day of Christmas my true love sent to me: Twelve Ramsey numbers, Eleven face detectors, Ten motion models, Nine input methods, Eight integrators, Seven English parsers, Six data markups, Five mobile things, Four SAT solvers, Three kernels, Two stakeholders, And a winning move in a game tree.