Thomas comments on Logic: the science of algorithm evaluating algorithms