Rule Interchange and Applications by