static wrinkle subgroup of wrinkle, 2 assertions