Grundlagen måste hafva förutsatten