Rule expansions