3 ms·True, maybe full formalisation is too strict and the evaluation should be fuzzierby griffzhowl 9mo agoTrue, maybe full formalisation is too strict and the evaluation should be fuzzier