I judge CFJ 2597 FALSE. There is no plausible way in which someone could call an uncountably infinite number of CFJs one at a time, therefore as the action is impossible no abbreviation for it could succeed in doing what the expansion couldn't.
-- ais523
