Grundlagen förutsätter således att inaaluc-