Update RepeatabilityDefinition.tex