Slogan by Konrad Voelkel
http://stacks.math.columbia.edu/tag/01X0#comment-877
Slogan by Konrad Voelkel
http://stacks.math.columbia.edu/tag/05NK#comment-878
Slogan by Konrad Voelkel
http://stacks.math.columbia.edu/tag/06V2#comment-879
Slogan by Konrad Voelkel
http://stacks.math.columbia.edu/tag/0585#comment-880
Missing words in statement lemma

Thanks to Konrad Voelkel
http://stacks.math.columbia.edu/tag/073E#comment-881