graphite pencil subgroup of pencil, 1 assertions