Med säkerhet antages alt hvadsolli