CAT argument with GF