| Frodag * r)