Invarianter är kraftfulla. Påståenden är mer kraftfulla.