diamond cut subgroup of cut, 5 assertions