property aspect of aluminum, 3 assertions