new puzzle subgroup of puzzle, 2 assertions