The tragical comedy of mr punch