true nature subgroup of nature, 5 assertions