ring binder subgroup of binder, 4 assertions