Talk:Explicit reciprocity law