Model rewritten