← Principles for Selection of Intersection Type - KGM