derived label for k=1