Further reading for the interested: https://muskdeer.blogspot.com/2019/07/sadbuddhi-in-sets.html