Contributors to TODO 2023-10-14 Avoiding repetitions