rules: introduce $i