to do
Beginning of an internal discussion of quasicoherence