synthetic wig subgroup of wig, 13 assertions