ground mica subgroup of mica, 4 assertions