Finished comparator (backend).