antagandet as en lag,