rla k , r¬ k,