Då återstår blott antagandetom