Shortened examples.