wooden puzzle subgroup of puzzle, 1 assertions