Hall rewriten