Match #11775

RDOC: (Arche-) vs (Tenaxzity)