Båda dessa verktyg kunna visserligenbegagnas