// this should probably be somewhere better public int getNumRepetitions() { return form.getNumRepetitions(index); }