The comical tragedy of mr punch