k ! , 5 23 t ai.