I agree `@@` not great. See my not above about `pr` and `mkR2`