https://www.businessline.global/solving-some-formal-math-olympiad-complications/uncategorized/