candidate solution subgroup of solution, 2 assertions