: aJ - j;