rTa \ lor , 7.