public static Keyword overlayWithFailFrame(ControlFrame frame, Proposition proposition) {
    { Proposition failproposition = Logic.createProposition(Logic.SYM_LOGIC_FAIL, 1);

      (failproposition.arguments.theArray)[0] = proposition;
      frame.proposition = failproposition;
      frame.state = Logic.KWD_FAIL;
      frame.reversePolarityP = false;
      return (Logic.KWD_MOVE_IN_PLACE);
    }
  }