cr^io - u CA * CA * CAr-Tr-T