Den ena af dessa punkter lyder så: