Basic lemmas on the Box-translation
Truth at stalks vs. truth on neighbourhoods
to do, typo