Template talk:Neukirch et al. CNF