invariance [noun] + proposition [noun]