I don't really understand how terms like "moral" or "faithful" came to be adopted in mathematical parlance. I understand these words are intended to convey some technical meaning, but why muddy the waters between 'is' and 'ought'? As Hume recognized, reason only teaches us about the way things are, not the way they ought to be. What mathematicians do with that knowledge is in their own hands.