This is a test of the Asides feature of Tarski, to see how it formats.