https://keroseneheaterreview.blogspot.com/2022/11/comparison-operators-vs-rich-comparison.html