är en förmodan ,som