Rationalisation / institution

https://cqfa.hypotheses.org/486