pure silicon subgroup of silicon, 3 assertions