Dessa satser synas dock föga varaerkända