“the art of the Japanese puppet theatre.”