Text this: On explicit reciprocity law over formal groups