An elementary file