Models rewritten