Här uppställas fyra satser: