Example is less terse.