Rule Interchange and Applications