Challenge of the ABC name game