Condensed definition into 'NC^d circuits'.