Many-body rewrite