k ! , if.