Describe the new definitions of fiability, relevancy, and trace discussed yesterday.

I'm not sure about the exact words we used, please correct me if I am wrong.

(Reminder: we have to agree all three on this modification for the pull request to be merged)