In my pessimistic moments I think it's even money which will release first: Half-Life 3 or Miegakure...