skall väl innefattas ipostulatet