k is not used here?