The tag implication #63708 frogtied_arms -> arms_tied has been rejected.
Reason: frogtied_arms involves your arms being tied, same as frogtied.
Slightly related: would it be in any way useful to rename frogtied to frogtied_legs?
EDIT: The tag implication frogtied_arms -> arms_tied (forum #407090) has been rejected by @Waydence.
Updated