Jag använder här den sistnämda beteckningen,