state solution subgroup of solution, 4 assertions