ett af prof. Budin föreslaget tillägg , så lydande: