A first and very not-mind-blowing example of the metatheorem about spreading
Introduction (first stab)