Shorter example prelude.