finnas icke mindre än 3exnmi-