public static Keyword tryParallelThreadProof(ControlFrame frame) {
    { ParallelThread childthread = ParallelControlFrame.createChildThread(((ParallelControlFrame)(frame)));

      ParallelControlFrame.enterParallelThread(((ParallelControlFrame)(frame)), childthread);
      return (Logic.KWD_MOVE_DOWN);
    }
  }