A bit more rewriting