natural slate subgroup of slate, 6 assertions