true/orthocenter-midpoints-are-collinear-ex230.ggb