n T _ : A C r J /\