Hvad de båda senare benämningarna beträffar,