window condensation subgroup of condensation, 3 assertions