Shorter example names