library classification subgroup of classification, 1 assertions