license (end of rewriting)