Rewrite of the system