ämnade de använda tummen på — holms öga.