Invarianter er kraftige. Påstander er kraftigere.