mechanical pencil subgroup of pencil, 3 assertions