Vi anteckna för exemplets skull,