Ett Designalionsbewis är förloradt.