rule expansion

.