circular reasoning subgroup of reasoning, 2 assertions