They were answering the question of why "2000::1::1" would be ambiguous if it was allowed.