4 eller , enligt mitt förslag,