Helt visst en grundsats , sorni