Däraf upkom det dubblabenämnandet