theorem
  goto la is non halting;
