wild condor subgroup of condor, 3 assertions