20240413 Boruvky (8)