20240413 Boruvky (3)