https://religion.ua.edu/blog/2015/03/16/transitive-properties-part-2/