ribbon slate subgroup of slate, 1 assertions