black ink subgroup of ink, 9 assertions