common sage subgroup of sage, 2 assertions