a craftsman works outside braiding rope on a machine