Correctness of Kruskal's Algorithms for Monotone Regression with Ties | Synapse