That is not correct. My old HP EliteBook 8560W had not one but two sets of three mouse buttons. See the first image at this article: https://notebooks.com/2011/04/12/hp-elitebook-8560w-details-...