20240413 Boruvky (4)