in which the lock functions according to a "pinching of the token" principle