https://religion.ua.edu/blog/2015/03/09/transitive-properties-part-1/