Header: operator==() implementation.