further rewritings