Title: The tragical comedy or comical tragedy of Punch and Judy