Man måste således antingenhafva