all förmodan , urid:tl ) and!