Verifier => comparator