 The choice of invariance relations mirrors which structure is deemed relevant within a given perspective on games. A central tool for bringing out such relevant aspects is the existence of a logical language matching some invariance relation. In general, the more fine-grained the invariance perspective, the more distinctions a matching language should be able to make.