elg-demo has outline of rewriting for multiplication