cable tie subgroup of tie, 4 assertions