flat wart subgroup of wart, 14 assertions