faithfulness

not defined yet