exterior condensation subgroup of condensation, 1 assertions