20240413 Boruvky (7)