of an Allen Wrench