hardness aspect of topaz, 1 assertions