Shortened examples