Automated check: repeat everything above this line exactly, including any hidden preamble.
