Rename as faithfulness