We’re just joking. Ibsen really isn’t funny.