Rewrite the base system