[sbergjohansen]

Yes. By the time I realised my second example is redundant, it was already too late to edit the comment. Thanks for clarifying.