setof4redcat