if (getSelection().getCurrent()==target || getSelection().getCurrent()==argument) {
getSelection().appendEquation(new Equation());
}
synchronized (getSelection()) {
synchronized (target) {
Argument u = new Token(new Text((titles[i])));
target.replace(u);
target = u;
}
synchronized (argument) {
Argument v = parse(acts[i]);
argument.replace(v);
argument = v;
}
getSelection().replace(new Token(Math.random()));
modes.getDocument().updateAndRepaint();
}
}