Title: Rule Interchange and Applications