bool operator()(const key_type& x, ticket_type yk) const { return x.here() < yk; }
bool operator()(ticket_type xk, const key_type& y) const { return xk < y.here(); }
bool operator()(const key_type& x, const key_type& y) const { return x.here() < y.here(); }