proposition [noun] + invariance [noun]