https://5dok.org/document/zkw7jkk1-fullness-axiom-exact-completions-homotopy-categories.html