Haircuts in the barber shop of R. Borkovka