race condition subgroup of condition, 2 assertions