.
Composite faithfulness 17