value capture subgroup of capture, 2 assertions