De symbolisera den gamla satsen: