Fictional names in examples